@article{ bryant-ieeetc86,
author = "Randal E. Bryant",
title = "Graph-Based Algorithms for {B}oolean Function Manipulation",
journal = ieeetc,
volume = "C-35",
number = 8,
month = aug,
year = 1986,
pages = "677--691",
url = "citeseer.ist.psu.edu/bryant86graphbased.html" }


@article{ kirkpatrick83optimization,
    author = "S. Kirkpatrick and C. D. Gelatt and M. P. Vecchi",
    title = "Optimization by Simulated Annealing",
    journal = "Science, Number 4598, 13 May 1983",
    volume = "220, 4598",
    pages = "671--680",
    year = "1983",
    url = "citeseer.ist.psu.edu/kirkpatrick83optimization.html" }


@article{ harel87statecharts,
    author = "David Harel",
    title = "Statecharts: {A} Visual Formalism for Complex Systems",
    journal = "Science of Computer Programming",
    volume = "8",
    number = "3",
    month = "June",
    pages = "231--274",
    year = "1987",
    url = "citeseer.ist.psu.edu/harel87statecharts.html" }

@techreport{ rivest77method,
    author = "R. L. Rivest and A. Shamir and L. M. Adelman",
    title = "A {METHOD} {FOR} {OBTAINING} {DIGITAL} {SIGNATURES} {AND} {PUBLIC}-{KEY} {CRYPTOSYSTEMS}",
    number = "MIT/LCS/TM-82",
    pages = "15",
    year = "1977",
    url = "citeseer.ist.psu.edu/rivest78method.html" }


@book{ ousterhout94tcl,
    author = "John K. Ousterhout",
    title = "Tcl and the Tk Toolkit",
    publisher = "Addison Wesley",
    isbn = "0-201-63337-X",
    year = "1994",
    url = "citeseer.ist.psu.edu/ousterhout94tcl.html" }



@article{ jacobson88congestion,
    author = "V. Jacobson",
    title = "Congestion Avoidance and Control",
    journal = "ACM Computer Communication Review; Proceedings of the Sigcomm '88 Symposium in Stanford, CA, August, 1988",
    volume = "18, 4",
    pages = "314--329",
    year = "1988",
    url = "citeseer.ist.psu.edu/jacobson88congestion.html" }    